giả thiết continuum câu

• Giả thiết continuum nói rằng không, không có.
• Như vậy, giả thiết continuum là độc lập với lý thuyết tập hợp Zermelo-Fraenkel.
• Hóa ra EMX có thể giải được một bài toán chỉ khi nào giả thiết continuum là đúng.
• Gödel và một nhà toán học khác tên là Paul Cohen tìm thấy một ví dụ: giả thiết continuum.
• Tin tốt lành là lời giải cho giả thiết continuum chẳng quan trọng lắm đối với phần lớn toán học.
• Giả thiết continuum lập luận như sau: Các nhà toán học đã biết có những vô hạn có kích cỡ khác nhau.
• Vào năm 1940, Kurt Gödel đã chỉ ra rằng không thể bác bỏ giả thiết continuum nếu dùng lý thuyết tập hợp Zermelo-Fraenkel.
• Sau đó, vào năm 1963, Paul Cohen lại chỉ ra rằng không thể dùng lý thuyết tập hợp Zermelo-Fraenkel để chứng minh giả thiết continuum.
• Gödel và Cohen chỉ ra rằng người ta không thể chứng minh được giả thiết continuum là đúng, đồng thời chẳng chứng minh được nó là sai.
• Điều đó có nghĩa là câu hỏi, “EMX có thể học cách giải bài toán này không?” có đáp số là không thể biết được y hệt như chính giả thiết continuum.
• Trong một bài báo công bố hôm Thứ Hai, 7 tháng Giêng 2019, trên tạp chí Nature Machine Intelligence, các nhà nghiên cứu chỉ ra rằng EMX có liên hệ mật thiết với giả thiết continuum.